Program optimization

Results: 736



#Item
261Digital signal processing / GPGPU / Stream processing / CPU cache / Algorithm / Scheduling / Actor model / Cache / Program optimization / Computing / Computer architecture / Microprocessors

MEMORY OPTIMIZATIONS OF EMBEDDED APPLICATIONS FOR ENERGY EFFICIENCY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Add to Reading List

Source URL: cva.stanford.edu

Language: English - Date: 2011-08-15 10:42:08
262Programming paradigms / Formal sciences / Association for Computing Machinery / Principles of Programming Languages / Formal methods / International Conference on Logic Programming / Logic programming / International Symposium on Logic-based Program Synthesis and Transformation / Lecture Notes in Computer Science / Computer science / Computing / Software engineering

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2014-07-12 00:42:10
263Design closure / Register-transfer level / Compiler / Floorplan / Placement / Place and route / Static single assignment form / Program optimization / EDA database / Electronic engineering / Electronic design automation / Physical design

Datasheet Design Compiler Graphical Create a Better Starting Point for Faster Physical Implementation Overview

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-02-18 14:15:53
264Theoretical computer science / Formal methods / Semantics / Abstract interpretation / Formal languages / Model theory / Prolog / Semantics of programming languages / Programming language / Software engineering / Computing / Logic in computer science

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2005-07-26 16:47:43
265PHP programming language / Cross-platform software / PHP / Program optimization / Bottleneck / Infrastructure optimization / Computing / Software / Network performance

Common Optimization Mistakes Dutch PHP Conference 2010 Ilia Alshanetsky http://ilia.ws

Add to Reading List

Source URL: ilia.ws

Language: English - Date: 2010-06-11 05:58:54
266Quantum mechanics / Radiation protection / Ionizing radiation / Radiobiology / Physics / Particle physics

ISOE Asian SymposiumSeptember , Gyeongju, Republic of Korea Development of the KHNP ALARA CENTER Program for the Optimization of Radiation Dose to Workers

Add to Reading List

Source URL: www.nsra.or.jp

Language: English - Date: 2014-10-23 02:30:45
267Theoretical computer science / Formal methods / Semantics / Abstract interpretation / Formal languages / Model theory / Prolog / Semantics of programming languages / Programming language / Software engineering / Computing / Logic in computer science

Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2005-07-26 16:47:43
268Network performance / Cross-platform software / Program optimization / Bottleneck / PHP / Computing / Software / PHP programming language

Common Optimization Mistakes ZendCon 2009 Ilia Alshanetsky http://ilia.ws

Add to Reading List

Source URL: ilia.ws

Language: English - Date: 2009-10-20 20:32:57
269Petroleum geology / Marine biology / Marine geology / Subsea / Completion / H2O / Oil wells / Petroleum / Petroleum production

CASE STUDY 1 Water Flood Program Optimization

Add to Reading List

Source URL: www.resman.no

Language: English - Date: 2014-04-24 15:41:37
270Subroutines / Compiler optimizations / C++ / Inline expansion / Program optimization / Main function / Greedy algorithm / Software engineering / Computer programming / Computing

A genetic and source-to-source approach to iterative compilation Serge Guelton, Institut T´el´ecom, T´el´ecom Bretagne, France Classical optimization Cycle

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2010-06-21 05:22:52
UPDATE